:: IORef a -> (a -> a) package:type-hint is:exact

Hint the type system about the type.